node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
node(136).
node(137).
node(138).
node(139).
node(140).
node(141).
node(142).
node(143).
node(144).
node(145).
link(1,9) :- #0.687.
link(9,1) :- #0.326.
link(1,10) :- #0.099.
link(10,1) :- #0.235.
link(1,17) :- #0.742.
link(17,1) :- #0.252.
link(1,20) :- #0.135.
link(20,1) :- #0.153.
link(1,26) :- #0.667.
link(26,1) :- #0.97.
link(1,66) :- #0.059.
link(66,1) :- #0.97.
link(1,71) :- #0.681.
link(71,1) :- #0.525.
link(1,112) :- #0.629.
link(112,1) :- #0.211.
link(1,113) :- #0.657.
link(113,1) :- #0.55.
link(1,122) :- #0.193.
link(122,1) :- #0.434.
link(1,140) :- #0.776.
link(140,1) :- #0.453.
link(2,18) :- #0.626.
link(18,2) :- #0.031.
link(2,21) :- #0.864.
link(21,2) :- #0.55.
link(2,24) :- #0.344.
link(24,2) :- #0.532.
link(2,37) :- #0.841.
link(37,2) :- #0.046.
link(2,48) :- #0.845.
link(48,2) :- #0.451.
link(2,69) :- #0.881.
link(69,2) :- #0.599.
link(2,106) :- #0.696.
link(106,2) :- #0.037.
link(2,118) :- #0.119.
link(118,2) :- #0.451.
link(2,122) :- #0.206.
link(122,2) :- #0.951.
link(2,140) :- #0.703.
link(140,2) :- #0.512.
link(2,143) :- #0.448.
link(143,2) :- #0.849.
link(3,12) :- #0.754.
link(12,3) :- #0.981.
link(3,29) :- #0.087.
link(29,3) :- #0.619.
link(3,82) :- #0.343.
link(82,3) :- #0.945.
link(3,96) :- #0.703.
link(96,3) :- #0.921.
link(3,106) :- #0.915.
link(106,3) :- #0.413.
link(3,108) :- #0.207.
link(108,3) :- #0.345.
link(3,124) :- #0.144.
link(124,3) :- #0.622.
link(3,125) :- #0.341.
link(125,3) :- #0.803.
link(3,131) :- #0.819.
link(131,3) :- #0.33.
link(3,138) :- #0.578.
link(138,3) :- #0.3.
link(3,145) :- #0.876.
link(145,3) :- #0.839.
link(4,17) :- #0.317.
link(17,4) :- #0.447.
link(4,30) :- #0.976.
link(30,4) :- #0.457.
link(4,31) :- #0.854.
link(31,4) :- #0.586.
link(4,33) :- #0.165.
link(33,4) :- #0.959.
link(4,34) :- #0.117.
link(34,4) :- #0.182.
link(4,82) :- #0.
link(82,4) :- #0.052.
link(4,89) :- #0.399.
link(89,4) :- #0.85.
link(4,117) :- #0.62.
link(117,4) :- #0.914.
link(4,140) :- #0.102.
link(140,4) :- #0.53.
link(5,26) :- #0.215.
link(26,5) :- #0.143.
link(5,28) :- #0.581.
link(28,5) :- #0.559.
link(5,29) :- #0.248.
link(29,5) :- #0.322.
link(5,32) :- #0.037.
link(32,5) :- #0.844.
link(5,41) :- #0.151.
link(41,5) :- #0.069.
link(5,49) :- #0.121.
link(49,5) :- #0.565.
link(5,55) :- #0.432.
link(55,5) :- #0.658.
link(5,89) :- #0.441.
link(89,5) :- #0.582.
link(5,95) :- #0.692.
link(95,5) :- #0.124.
link(5,98) :- #0.785.
link(98,5) :- #0.612.
link(5,99) :- #0.753.
link(99,5) :- #0.083.
link(5,108) :- #0.295.
link(108,5) :- #0.402.
link(5,116) :- #0.303.
link(116,5) :- #0.247.
link(5,125) :- #0.384.
link(125,5) :- #0.379.
link(5,136) :- #0.425.
link(136,5) :- #0.959.
link(6,7) :- #0.229.
link(7,6) :- #0.162.
link(6,15) :- #0.299.
link(15,6) :- #0.685.
link(6,27) :- #0.809.
link(27,6) :- #0.761.
link(6,46) :- #0.979.
link(46,6) :- #0.759.
link(6,51) :- #0.584.
link(51,6) :- #0.348.
link(6,59) :- #0.534.
link(59,6) :- #0.223.
link(6,74) :- #0.789.
link(74,6) :- #0.108.
link(6,110) :- #0.061.
link(110,6) :- #0.1.
link(7,21) :- #0.63.
link(21,7) :- #0.387.
link(7,22) :- #0.283.
link(22,7) :- #0.125.
link(7,25) :- #0.167.
link(25,7) :- #0.278.
link(7,30) :- #0.96.
link(30,7) :- #0.854.
link(7,35) :- #0.777.
link(35,7) :- #0.835.
link(7,36) :- #0.283.
link(36,7) :- #0.164.
link(7,40) :- #0.761.
link(40,7) :- #0.481.
link(7,55) :- #0.475.
link(55,7) :- #0.884.
link(7,64) :- #0.846.
link(64,7) :- #0.426.
link(7,65) :- #0.128.
link(65,7) :- #0.229.
link(7,70) :- #0.267.
link(70,7) :- #0.047.
link(7,82) :- #0.301.
link(82,7) :- #0.74.
link(7,98) :- #0.33.
link(98,7) :- #0.527.
link(7,108) :- #0.223.
link(108,7) :- #0.807.
link(7,109) :- #0.278.
link(109,7) :- #0.473.
link(7,113) :- #0.957.
link(113,7) :- #0.789.
link(7,117) :- #0.102.
link(117,7) :- #0.647.
link(7,121) :- #0.513.
link(121,7) :- #0.28.
link(7,122) :- #0.178.
link(122,7) :- #0.304.
link(7,127) :- #0.596.
link(127,7) :- #0.63.
link(7,128) :- #0.219.
link(128,7) :- #0.241.
link(7,142) :- #0.059.
link(142,7) :- #0.381.
link(8,19) :- #0.605.
link(19,8) :- #0.679.
link(8,31) :- #0.763.
link(31,8) :- #0.32.
link(8,32) :- #0.309.
link(32,8) :- #0.228.
link(8,52) :- #0.342.
link(52,8) :- #0.346.
link(8,55) :- #0.182.
link(55,8) :- #0.657.
link(8,64) :- #0.242.
link(64,8) :- #0.907.
link(8,81) :- #0.508.
link(81,8) :- #0.294.
link(8,88) :- #0.848.
link(88,8) :- #0.253.
link(8,96) :- #0.432.
link(96,8) :- #0.754.
link(8,99) :- #0.693.
link(99,8) :- #0.959.
link(8,103) :- #0.112.
link(103,8) :- #0.293.
link(8,106) :- #0.088.
link(106,8) :- #0.817.
link(8,118) :- #0.157.
link(118,8) :- #0.499.
link(8,134) :- #0.688.
link(134,8) :- #0.363.
link(8,139) :- #0.862.
link(139,8) :- #0.765.
link(9,18) :- #0.733.
link(18,9) :- #0.406.
link(9,19) :- #0.055.
link(19,9) :- #0.152.
link(9,20) :- #0.087.
link(20,9) :- #0.384.
link(9,49) :- #0.28.
link(49,9) :- #0.909.
link(9,51) :- #0.928.
link(51,9) :- #0.404.
link(9,52) :- #0.034.
link(52,9) :- #0.206.
link(9,56) :- #0.43.
link(56,9) :- #0.126.
link(9,64) :- #0.61.
link(64,9) :- #0.108.
link(9,82) :- #0.177.
link(82,9) :- #0.084.
link(9,87) :- #0.5.
link(87,9) :- #0.681.
link(9,94) :- #0.198.
link(94,9) :- #0.857.
link(9,99) :- #0.637.
link(99,9) :- #0.485.
link(9,104) :- #0.424.
link(104,9) :- #0.083.
link(9,105) :- #0.874.
link(105,9) :- #0.736.
link(9,137) :- #0.29.
link(137,9) :- #0.301.
link(10,20) :- #0.17.
link(20,10) :- #0.799.
link(10,44) :- #0.073.
link(44,10) :- #0.205.
link(10,45) :- #0.74.
link(45,10) :- #0.622.
link(10,47) :- #0.088.
link(47,10) :- #0.953.
link(10,49) :- #0.002.
link(49,10) :- #0.41.
link(10,67) :- #0.722.
link(67,10) :- #0.696.
link(10,73) :- #0.315.
link(73,10) :- #0.521.
link(10,110) :- #0.791.
link(110,10) :- #0.632.
link(10,116) :- #0.931.
link(116,10) :- #0.977.
link(10,120) :- #0.348.
link(120,10) :- #0.405.
link(10,124) :- #0.378.
link(124,10) :- #0.424.
link(10,135) :- #0.494.
link(135,10) :- #0.026.
link(10,141) :- #0.846.
link(141,10) :- #0.987.
link(11,13) :- #0.512.
link(13,11) :- #0.194.
link(11,17) :- #0.412.
link(17,11) :- #0.768.
link(11,25) :- #0.677.
link(25,11) :- #0.694.
link(11,27) :- #0.911.
link(27,11) :- #0.251.
link(11,28) :- #0.906.
link(28,11) :- #0.782.
link(11,40) :- #0.465.
link(40,11) :- #0.211.
link(11,48) :- #0.32.
link(48,11) :- #0.084.
link(11,64) :- #0.608.
link(64,11) :- #0.976.
link(11,66) :- #0.246.
link(66,11) :- #0.737.
link(11,86) :- #0.156.
link(86,11) :- #0.565.
link(11,90) :- #0.873.
link(90,11) :- #0.424.
link(11,101) :- #0.792.
link(101,11) :- #0.125.
link(11,104) :- #0.049.
link(104,11) :- #0.714.
link(11,112) :- #0.34.
link(112,11) :- #0.631.
link(11,131) :- #0.705.
link(131,11) :- #0.975.
link(11,136) :- #0.893.
link(136,11) :- #0.325.
link(12,16) :- #0.344.
link(16,12) :- #0.12.
link(12,39) :- #0.16.
link(39,12) :- #0.394.
link(12,40) :- #0.441.
link(40,12) :- #0.008.
link(12,54) :- #0.144.
link(54,12) :- #0.731.
link(12,78) :- #0.714.
link(78,12) :- #0.335.
link(12,90) :- #0.619.
link(90,12) :- #0.774.
link(12,94) :- #0.822.
link(94,12) :- #0.052.
link(12,96) :- #0.999.
link(96,12) :- #0.889.
link(12,106) :- #0.372.
link(106,12) :- #0.265.
link(12,108) :- #0.318.
link(108,12) :- #0.966.
link(12,119) :- #0.331.
link(119,12) :- #0.418.
link(12,125) :- #0.936.
link(125,12) :- #0.812.
link(13,24) :- #0.158.
link(24,13) :- #0.521.
link(13,25) :- #0.761.
link(25,13) :- #0.182.
link(13,42) :- #0.839.
link(42,13) :- #0.718.
link(13,51) :- #0.49.
link(51,13) :- #0.224.
link(13,58) :- #0.444.
link(58,13) :- #0.721.
link(13,61) :- #0.422.
link(61,13) :- #0.471.
link(13,64) :- #0.977.
link(64,13) :- #0.138.
link(13,91) :- #0.651.
link(91,13) :- #0.14.
link(13,102) :- #0.943.
link(102,13) :- #0.478.
link(13,105) :- #0.825.
link(105,13) :- #0.198.
link(13,120) :- #0.728.
link(120,13) :- #0.519.
link(13,123) :- #0.758.
link(123,13) :- #0.745.
link(14,15) :- #0.322.
link(15,14) :- #0.433.
link(14,16) :- #0.039.
link(16,14) :- #0.644.
link(14,20) :- #0.042.
link(20,14) :- #0.851.
link(14,22) :- #0.605.
link(22,14) :- #0.822.
link(14,26) :- #0.341.
link(26,14) :- #0.293.
link(14,29) :- #0.325.
link(29,14) :- #0.159.
link(14,31) :- #0.834.
link(31,14) :- #0.693.
link(14,37) :- #0.796.
link(37,14) :- #0.843.
link(14,44) :- #0.963.
link(44,14) :- #0.217.
link(14,45) :- #0.138.
link(45,14) :- #0.275.
link(14,68) :- #0.862.
link(68,14) :- #0.132.
link(14,87) :- #0.281.
link(87,14) :- #0.172.
link(14,89) :- #0.516.
link(89,14) :- #0.026.
link(14,91) :- #0.336.
link(91,14) :- #0.182.
link(14,92) :- #0.384.
link(92,14) :- #0.332.
link(14,94) :- #0.625.
link(94,14) :- #0.758.
link(14,95) :- #0.497.
link(95,14) :- #0.688.
link(14,101) :- #0.256.
link(101,14) :- #0.028.
link(14,106) :- #0.379.
link(106,14) :- #0.438.
link(14,114) :- #0.784.
link(114,14) :- #0.105.
link(14,124) :- #0.105.
link(124,14) :- #0.211.
link(14,134) :- #0.222.
link(134,14) :- #0.556.
link(15,20) :- #0.375.
link(20,15) :- #0.569.
link(15,21) :- #0.097.
link(21,15) :- #0.282.
link(15,38) :- #0.868.
link(38,15) :- #0.604.
link(15,40) :- #0.218.
link(40,15) :- #0.713.
link(15,54) :- #0.636.
link(54,15) :- #0.91.
link(15,57) :- #0.724.
link(57,15) :- #0.227.
link(15,85) :- #0.051.
link(85,15) :- #0.846.
link(15,96) :- #0.661.
link(96,15) :- #0.985.
link(15,98) :- #0.489.
link(98,15) :- #0.454.
link(15,110) :- #0.015.
link(110,15) :- #0.607.
link(15,122) :- #0.641.
link(122,15) :- #0.845.
link(15,125) :- #0.678.
link(125,15) :- #0.381.
link(16,20) :- #0.114.
link(20,16) :- #0.791.
link(16,25) :- #0.13.
link(25,16) :- #0.083.
link(16,38) :- #0.81.
link(38,16) :- #0.239.
link(16,46) :- #0.832.
link(46,16) :- #0.193.
link(16,58) :- #0.988.
link(58,16) :- #0.421.
link(16,62) :- #0.792.
link(62,16) :- #0.884.
link(16,104) :- #0.701.
link(104,16) :- #0.511.
link(16,107) :- #0.994.
link(107,16) :- #0.874.
link(16,111) :- #0.471.
link(111,16) :- #0.492.
link(16,120) :- #0.214.
link(120,16) :- #0.233.
link(16,140) :- #0.29.
link(140,16) :- #0.28.
link(17,18) :- #0.931.
link(18,17) :- #0.643.
link(17,24) :- #0.753.
link(24,17) :- #0.516.
link(17,27) :- #0.094.
link(27,17) :- #0.31.
link(17,42) :- #0.835.
link(42,17) :- #0.849.
link(17,56) :- #0.231.
link(56,17) :- #0.712.
link(17,72) :- #0.481.
link(72,17) :- #0.579.
link(17,82) :- #0.072.
link(82,17) :- #0.115.
link(17,90) :- #0.138.
link(90,17) :- #0.021.
link(17,94) :- #0.398.
link(94,17) :- #0.365.
link(17,96) :- #0.89.
link(96,17) :- #0.788.
link(17,107) :- #0.181.
link(107,17) :- #0.812.
link(17,125) :- #0.436.
link(125,17) :- #0.993.
link(17,135) :- #0.276.
link(135,17) :- #0.437.
link(18,19) :- #0.233.
link(19,18) :- #0.232.
link(18,33) :- #0.654.
link(33,18) :- #0.877.
link(18,40) :- #0.234.
link(40,18) :- #0.627.
link(18,46) :- #0.504.
link(46,18) :- #0.168.
link(18,60) :- #0.583.
link(60,18) :- #0.506.
link(18,74) :- #0.9.
link(74,18) :- #0.639.
link(18,82) :- #0.822.
link(82,18) :- #0.731.
link(18,88) :- #0.365.
link(88,18) :- #0.799.
link(18,99) :- #0.871.
link(99,18) :- #0.952.
link(18,108) :- #0.585.
link(108,18) :- #0.621.
link(18,109) :- #0.515.
link(109,18) :- #0.08.
link(18,112) :- #0.192.
link(112,18) :- #0.71.
link(18,120) :- #0.122.
link(120,18) :- #0.114.
link(18,141) :- #0.544.
link(141,18) :- #0.426.
link(19,33) :- #0.9.
link(33,19) :- #0.775.
link(19,35) :- #0.527.
link(35,19) :- #0.418.
link(19,42) :- #0.448.
link(42,19) :- #0.551.
link(19,55) :- #0.667.
link(55,19) :- #0.752.
link(19,58) :- #0.481.
link(58,19) :- #0.197.
link(19,67) :- #0.312.
link(67,19) :- #0.213.
link(19,70) :- #0.275.
link(70,19) :- #0.081.
link(19,94) :- #0.017.
link(94,19) :- #0.567.
link(19,104) :- #0.169.
link(104,19) :- #0.257.
link(19,120) :- #0.716.
link(120,19) :- #0.792.
link(19,123) :- #0.678.
link(123,19) :- #0.716.
link(20,23) :- #0.147.
link(23,20) :- #0.37.
link(20,34) :- #0.998.
link(34,20) :- #0.847.
link(20,40) :- #0.658.
link(40,20) :- #0.798.
link(20,53) :- #0.44.
link(53,20) :- #0.059.
link(20,55) :- #0.035.
link(55,20) :- #0.929.
link(20,65) :- #0.294.
link(65,20) :- #0.426.
link(20,73) :- #0.654.
link(73,20) :- #0.777.
link(20,85) :- #0.65.
link(85,20) :- #0.675.
link(20,92) :- #0.076.
link(92,20) :- #0.903.
link(20,102) :- #0.277.
link(102,20) :- #0.429.
link(20,116) :- #0.435.
link(116,20) :- #0.711.
link(20,117) :- #0.236.
link(117,20) :- #0.01.
link(20,119) :- #0.3.
link(119,20) :- #0.255.
link(20,133) :- #0.754.
link(133,20) :- #0.762.
link(20,137) :- #0.648.
link(137,20) :- #0.933.
link(21,28) :- #0.79.
link(28,21) :- #0.759.
link(21,42) :- #0.361.
link(42,21) :- #0.419.
link(21,49) :- #0.111.
link(49,21) :- #0.995.
link(21,53) :- #0.059.
link(53,21) :- #0.942.
link(21,58) :- #0.484.
link(58,21) :- #0.2.
link(21,69) :- #0.867.
link(69,21) :- #0.807.
link(21,74) :- #0.28.
link(74,21) :- #0.986.
link(21,96) :- #0.908.
link(96,21) :- #0.354.
link(21,115) :- #0.637.
link(115,21) :- #0.881.
link(21,116) :- #0.306.
link(116,21) :- #0.298.
link(21,131) :- #0.77.
link(131,21) :- #0.576.
link(22,25) :- #0.432.
link(25,22) :- #0.984.
link(22,27) :- #0.723.
link(27,22) :- #0.248.
link(22,44) :- #0.152.
link(44,22) :- #0.065.
link(22,74) :- #0.092.
link(74,22) :- #0.684.
link(22,77) :- #0.137.
link(77,22) :- #0.857.
link(22,79) :- #0.221.
link(79,22) :- #0.237.
link(22,108) :- #0.765.
link(108,22) :- #0.227.
link(22,112) :- #0.139.
link(112,22) :- #0.599.
link(22,113) :- #0.095.
link(113,22) :- #0.74.
link(22,126) :- #0.716.
link(126,22) :- #0.601.
link(22,133) :- #0.299.
link(133,22) :- #0.556.
link(23,30) :- #0.16.
link(30,23) :- #0.525.
link(23,31) :- #0.396.
link(31,23) :- #0.673.
link(23,36) :- #0.107.
link(36,23) :- #0.741.
link(23,38) :- #0.21.
link(38,23) :- #0.693.
link(23,43) :- #0.974.
link(43,23) :- #0.456.
link(23,51) :- #0.889.
link(51,23) :- #0.834.
link(23,56) :- #0.598.
link(56,23) :- #0.135.
link(23,61) :- #0.849.
link(61,23) :- #0.119.
link(23,65) :- #0.986.
link(65,23) :- #0.282.
link(23,66) :- #0.538.
link(66,23) :- #0.003.
link(23,73) :- #0.388.
link(73,23) :- #0.006.
link(23,75) :- #0.307.
link(75,23) :- #0.414.
link(23,81) :- #0.388.
link(81,23) :- #0.605.
link(23,92) :- #0.025.
link(92,23) :- #0.827.
link(23,93) :- #0.617.
link(93,23) :- #0.765.
link(23,117) :- #0.928.
link(117,23) :- #0.187.
link(23,123) :- #0.635.
link(123,23) :- #0.148.
link(23,128) :- #0.71.
link(128,23) :- #0.079.
link(23,131) :- #0.2.
link(131,23) :- #0.875.
link(23,136) :- #0.832.
link(136,23) :- #0.42.
link(24,30) :- #0.935.
link(30,24) :- #0.77.
link(24,35) :- #0.72.
link(35,24) :- #0.093.
link(24,38) :- #0.608.
link(38,24) :- #0.229.
link(24,41) :- #0.414.
link(41,24) :- #0.884.
link(24,42) :- #0.017.
link(42,24) :- #0.048.
link(24,64) :- #0.704.
link(64,24) :- #0.611.
link(24,69) :- #0.537.
link(69,24) :- #0.817.
link(24,73) :- #0.004.
link(73,24) :- #0.691.
link(24,91) :- #0.891.
link(91,24) :- #0.118.
link(24,93) :- #0.765.
link(93,24) :- #0.358.
link(24,99) :- #0.67.
link(99,24) :- #0.47.
link(24,111) :- #0.776.
link(111,24) :- #0.023.
link(24,118) :- #0.645.
link(118,24) :- #0.942.
link(24,120) :- #0.17.
link(120,24) :- #0.73.
link(25,53) :- #0.432.
link(53,25) :- #0.703.
link(25,58) :- #0.58.
link(58,25) :- #0.581.
link(25,69) :- #0.612.
link(69,25) :- #0.485.
link(25,79) :- #0.703.
link(79,25) :- #0.157.
link(25,88) :- #0.68.
link(88,25) :- #0.259.
link(25,89) :- #0.553.
link(89,25) :- #0.3.
link(25,92) :- #0.362.
link(92,25) :- #0.315.
link(25,99) :- #0.969.
link(99,25) :- #0.832.
link(25,109) :- #0.807.
link(109,25) :- #0.756.
link(25,110) :- #0.27.
link(110,25) :- #0.441.
link(25,126) :- #0.074.
link(126,25) :- #0.011.
link(25,135) :- #0.483.
link(135,25) :- #0.714.
link(25,136) :- #0.6.
link(136,25) :- #0.977.
link(26,30) :- #0.683.
link(30,26) :- #0.274.
link(26,37) :- #0.788.
link(37,26) :- #0.361.
link(26,41) :- #0.174.
link(41,26) :- #0.933.
link(26,44) :- #0.52.
link(44,26) :- #0.707.
link(26,77) :- #0.336.
link(77,26) :- #0.148.
link(26,83) :- #0.955.
link(83,26) :- #0.785.
link(26,91) :- #0.752.
link(91,26) :- #0.99.
link(26,101) :- #0.738.
link(101,26) :- #0.719.
link(26,109) :- #0.126.
link(109,26) :- #0.933.
link(26,111) :- #0.443.
link(111,26) :- #0.547.
link(26,132) :- #0.499.
link(132,26) :- #0.419.
link(26,139) :- #0.444.
link(139,26) :- #0.444.
link(27,39) :- #0.425.
link(39,27) :- #0.472.
link(27,55) :- #0.883.
link(55,27) :- #0.339.
link(27,60) :- #0.176.
link(60,27) :- #0.923.
link(27,101) :- #0.388.
link(101,27) :- #0.12.
link(27,109) :- #0.499.
link(109,27) :- #0.908.
link(27,115) :- #0.829.
link(115,27) :- #0.557.
link(27,123) :- #0.168.
link(123,27) :- #0.328.
link(27,128) :- #0.6.
link(128,27) :- #0.69.
link(27,140) :- #0.991.
link(140,27) :- #0.48.
link(27,142) :- #0.701.
link(142,27) :- #0.091.
link(28,31) :- #0.427.
link(31,28) :- #0.092.
link(28,58) :- #0.538.
link(58,28) :- #0.579.
link(28,61) :- #0.679.
link(61,28) :- #0.676.
link(28,77) :- #0.912.
link(77,28) :- #0.827.
link(28,92) :- #0.502.
link(92,28) :- #0.527.
link(28,96) :- #0.657.
link(96,28) :- #0.49.
link(28,98) :- #0.877.
link(98,28) :- #0.417.
link(28,114) :- #0.868.
link(114,28) :- #0.086.
link(28,116) :- #0.74.
link(116,28) :- #0.317.
link(29,39) :- #0.553.
link(39,29) :- #0.774.
link(29,92) :- #0.574.
link(92,29) :- #0.292.
link(29,106) :- #0.784.
link(106,29) :- #0.146.
link(29,109) :- #0.728.
link(109,29) :- #0.425.
link(29,114) :- #0.351.
link(114,29) :- #0.546.
link(29,119) :- #0.896.
link(119,29) :- #0.745.
link(30,56) :- #0.367.
link(56,30) :- #0.638.
link(30,94) :- #0.183.
link(94,30) :- #0.956.
link(30,108) :- #0.025.
link(108,30) :- #0.637.
link(30,111) :- #0.525.
link(111,30) :- #0.477.
link(30,134) :- #0.464.
link(134,30) :- #0.039.
link(30,137) :- #0.804.
link(137,30) :- #0.105.
link(30,142) :- #0.619.
link(142,30) :- #0.692.
link(30,145) :- #0.481.
link(145,30) :- #0.303.
link(31,45) :- #0.715.
link(45,31) :- #0.708.
link(31,48) :- #0.026.
link(48,31) :- #0.894.
link(31,64) :- #0.206.
link(64,31) :- #0.203.
link(31,73) :- #0.051.
link(73,31) :- #0.134.
link(31,85) :- #0.089.
link(85,31) :- #0.922.
link(31,99) :- #0.251.
link(99,31) :- #0.982.
link(31,112) :- #0.501.
link(112,31) :- #0.026.
link(31,143) :- #0.753.
link(143,31) :- #0.754.
link(32,40) :- #0.957.
link(40,32) :- #0.13.
link(32,41) :- #0.863.
link(41,32) :- #0.481.
link(32,50) :- #0.706.
link(50,32) :- #0.986.
link(32,58) :- #0.875.
link(58,32) :- #0.599.
link(32,73) :- #0.986.
link(73,32) :- #0.231.
link(32,76) :- #0.286.
link(76,32) :- #0.392.
link(32,79) :- #0.111.
link(79,32) :- #0.504.
link(32,103) :- #0.572.
link(103,32) :- #0.78.
link(32,117) :- #0.745.
link(117,32) :- #0.014.
link(32,121) :- #0.383.
link(121,32) :- #0.921.
link(32,129) :- #0.374.
link(129,32) :- #0.788.
link(32,134) :- #0.464.
link(134,32) :- #0.198.
link(33,48) :- #0.349.
link(48,33) :- #0.011.
link(33,59) :- #0.763.
link(59,33) :- #0.729.
link(33,65) :- #0.23.
link(65,33) :- #0.016.
link(33,66) :- #0.421.
link(66,33) :- #0.706.
link(33,73) :- #0.872.
link(73,33) :- #0.953.
link(33,75) :- #0.92.
link(75,33) :- #0.871.
link(33,76) :- #0.548.
link(76,33) :- #0.122.
link(33,87) :- #0.519.
link(87,33) :- #0.925.
link(33,91) :- #0.533.
link(91,33) :- #0.682.
link(33,102) :- #0.688.
link(102,33) :- #0.002.
link(33,104) :- #0.313.
link(104,33) :- #0.243.
link(33,120) :- #0.179.
link(120,33) :- #0.502.
link(33,126) :- #0.868.
link(126,33) :- #0.846.
link(33,133) :- #0.194.
link(133,33) :- #0.245.
link(34,36) :- #0.089.
link(36,34) :- #0.629.
link(34,50) :- #0.129.
link(50,34) :- #0.311.
link(34,61) :- #0.172.
link(61,34) :- #0.961.
link(34,67) :- #0.342.
link(67,34) :- #0.952.
link(34,73) :- #0.974.
link(73,34) :- #0.814.
link(34,79) :- #0.153.
link(79,34) :- #0.343.
link(34,80) :- #0.53.
link(80,34) :- #0.461.
link(34,91) :- #0.879.
link(91,34) :- #0.493.
link(34,93) :- #0.886.
link(93,34) :- #0.176.
link(34,97) :- #0.557.
link(97,34) :- #0.793.
link(34,112) :- #0.643.
link(112,34) :- #0.15.
link(34,125) :- #0.268.
link(125,34) :- #0.111.
link(34,135) :- #0.239.
link(135,34) :- #0.562.
link(34,136) :- #0.906.
link(136,34) :- #0.18.
link(35,40) :- #0.491.
link(40,35) :- #0.082.
link(35,42) :- #0.893.
link(42,35) :- #0.835.
link(35,46) :- #0.748.
link(46,35) :- #0.531.
link(35,48) :- #0.84.
link(48,35) :- #0.154.
link(35,50) :- #0.584.
link(50,35) :- #0.279.
link(35,79) :- #0.648.
link(79,35) :- #0.41.
link(35,81) :- #0.119.
link(81,35) :- #0.911.
link(35,88) :- #0.756.
link(88,35) :- #0.012.
link(35,90) :- #0.192.
link(90,35) :- #0.821.
link(35,102) :- #0.549.
link(102,35) :- #0.225.
link(35,121) :- #0.862.
link(121,35) :- #0.775.
link(35,131) :- #0.687.
link(131,35) :- #0.86.
link(35,135) :- #0.476.
link(135,35) :- #0.815.
link(35,137) :- #0.837.
link(137,35) :- #0.246.
link(35,141) :- #0.315.
link(141,35) :- #0.668.
link(36,58) :- #0.995.
link(58,36) :- #0.786.
link(36,89) :- #0.883.
link(89,36) :- #0.462.
link(36,94) :- #0.978.
link(94,36) :- #0.043.
link(36,95) :- #0.248.
link(95,36) :- #0.868.
link(36,101) :- #0.365.
link(101,36) :- #0.335.
link(36,111) :- #0.521.
link(111,36) :- #0.911.
link(36,126) :- #0.074.
link(126,36) :- #0.107.
link(36,128) :- #0.086.
link(128,36) :- #0.776.
link(37,46) :- #0.179.
link(46,37) :- #0.141.
link(37,60) :- #0.492.
link(60,37) :- #0.928.
link(37,63) :- #0.453.
link(63,37) :- #0.76.
link(37,68) :- #0.876.
link(68,37) :- #0.028.
link(37,83) :- #0.535.
link(83,37) :- #0.517.
link(37,95) :- #0.292.
link(95,37) :- #0.42.
link(37,126) :- #0.645.
link(126,37) :- #0.162.
link(38,40) :- #0.603.
link(40,38) :- #0.795.
link(38,41) :- #0.066.
link(41,38) :- #0.417.
link(38,57) :- #0.501.
link(57,38) :- #0.716.
link(38,62) :- #0.508.
link(62,38) :- #0.092.
link(38,68) :- #0.383.
link(68,38) :- #0.823.
link(38,70) :- #0.245.
link(70,38) :- #0.249.
link(38,73) :- #0.915.
link(73,38) :- #0.154.
link(38,80) :- #0.004.
link(80,38) :- #0.414.
link(38,82) :- #0.318.
link(82,38) :- #0.151.
link(38,112) :- #0.027.
link(112,38) :- #0.626.
link(38,121) :- #0.178.
link(121,38) :- #0.893.
link(38,122) :- #0.015.
link(122,38) :- #0.392.
link(38,142) :- #0.556.
link(142,38) :- #0.151.
link(38,143) :- #0.54.
link(143,38) :- #0.32.
link(38,144) :- #0.755.
link(144,38) :- #0.09.
link(39,47) :- #0.639.
link(47,39) :- #0.327.
link(39,69) :- #0.169.
link(69,39) :- #0.443.
link(39,73) :- #0.027.
link(73,39) :- #0.332.
link(39,91) :- #0.772.
link(91,39) :- #0.522.
link(39,96) :- #0.587.
link(96,39) :- #0.281.
link(39,108) :- #0.015.
link(108,39) :- #0.509.
link(39,116) :- #0.389.
link(116,39) :- #0.227.
link(39,118) :- #0.848.
link(118,39) :- #0.522.
link(39,119) :- #0.686.
link(119,39) :- #0.031.
link(39,125) :- #0.656.
link(125,39) :- #0.339.
link(39,136) :- #0.495.
link(136,39) :- #0.623.
link(39,144) :- #0.56.
link(144,39) :- #0.584.
link(40,48) :- #0.975.
link(48,40) :- #0.774.
link(40,53) :- #0.757.
link(53,40) :- #0.212.
link(40,88) :- #0.893.
link(88,40) :- #0.972.
link(40,90) :- #0.574.
link(90,40) :- #0.355.
link(40,94) :- #0.577.
link(94,40) :- #0.496.
link(40,97) :- #0.097.
link(97,40) :- #0.848.
link(40,104) :- #0.667.
link(104,40) :- #0.627.
link(40,105) :- #0.825.
link(105,40) :- #0.774.
link(40,111) :- #0.34.
link(111,40) :- #0.412.
link(40,112) :- #0.513.
link(112,40) :- #0.472.
link(40,119) :- #0.977.
link(119,40) :- #0.464.
link(40,123) :- #0.298.
link(123,40) :- #0.042.
link(41,49) :- #0.223.
link(49,41) :- #0.303.
link(41,60) :- #0.613.
link(60,41) :- #0.002.
link(41,63) :- #0.24.
link(63,41) :- #0.252.
link(41,66) :- #0.162.
link(66,41) :- #0.744.
link(41,67) :- #0.546.
link(67,41) :- #0.142.
link(41,74) :- #0.065.
link(74,41) :- #0.505.
link(41,98) :- #0.021.
link(98,41) :- #0.331.
link(41,103) :- #0.976.
link(103,41) :- #0.858.
link(41,120) :- #0.515.
link(120,41) :- #0.888.
link(41,126) :- #0.643.
link(126,41) :- #0.231.
link(41,128) :- #0.416.
link(128,41) :- #0.094.
link(42,48) :- #0.692.
link(48,42) :- #0.663.
link(42,52) :- #0.875.
link(52,42) :- #0.951.
link(42,62) :- #0.964.
link(62,42) :- #0.064.
link(42,67) :- #0.152.
link(67,42) :- #0.233.
link(42,77) :- #0.963.
link(77,42) :- #0.502.
link(42,98) :- #0.166.
link(98,42) :- #0.384.
link(42,102) :- #0.038.
link(102,42) :- #0.969.
link(42,115) :- #0.663.
link(115,42) :- #0.716.
link(42,118) :- #0.083.
link(118,42) :- #0.17.
link(42,132) :- #0.805.
link(132,42) :- #0.523.
link(42,143) :- #0.331.
link(143,42) :- #0.062.
link(43,49) :- #0.124.
link(49,43) :- #0.957.
link(43,60) :- #0.505.
link(60,43) :- #0.253.
link(43,80) :- #0.145.
link(80,43) :- #0.457.
link(43,87) :- #0.038.
link(87,43) :- #0.28.
link(43,91) :- #0.788.
link(91,43) :- #0.722.
link(43,96) :- #0.457.
link(96,43) :- #0.085.
link(43,123) :- #0.736.
link(123,43) :- #0.397.
link(43,125) :- #0.646.
link(125,43) :- #0.206.
link(43,145) :- #0.028.
link(145,43) :- #0.893.
link(44,61) :- #0.666.
link(61,44) :- #0.129.
link(44,70) :- #0.238.
link(70,44) :- #0.74.
link(44,73) :- #0.68.
link(73,44) :- #0.532.
link(44,98) :- #0.132.
link(98,44) :- #0.326.
link(44,100) :- #0.568.
link(100,44) :- #0.465.
link(44,102) :- #0.83.
link(102,44) :- #0.405.
link(44,110) :- #0.724.
link(110,44) :- #0.782.
link(44,112) :- #0.263.
link(112,44) :- #0.691.
link(44,123) :- #0.659.
link(123,44) :- #0.801.
link(44,127) :- #0.506.
link(127,44) :- #0.767.
link(44,140) :- #0.437.
link(140,44) :- #0.402.
link(45,55) :- #0.998.
link(55,45) :- #0.366.
link(45,57) :- #0.862.
link(57,45) :- #0.855.
link(45,61) :- #0.337.
link(61,45) :- #0.381.
link(45,65) :- #0.283.
link(65,45) :- #0.022.
link(45,93) :- #0.487.
link(93,45) :- #0.167.
link(45,101) :- #0.845.
link(101,45) :- #0.216.
link(45,109) :- #0.649.
link(109,45) :- #0.514.
link(45,132) :- #0.144.
link(132,45) :- #0.763.
link(45,136) :- #0.617.
link(136,45) :- #0.933.
link(45,139) :- #0.275.
link(139,45) :- #0.844.
link(45,144) :- #0.067.
link(144,45) :- #0.388.
link(46,65) :- #0.799.
link(65,46) :- #0.697.
link(46,73) :- #0.501.
link(73,46) :- #0.775.
link(46,74) :- #0.859.
link(74,46) :- #0.153.
link(46,117) :- #0.554.
link(117,46) :- #0.955.
link(46,119) :- #0.506.
link(119,46) :- #0.216.
link(46,132) :- #0.253.
link(132,46) :- #0.078.
link(46,144) :- #0.881.
link(144,46) :- #0.242.
link(47,49) :- #0.894.
link(49,47) :- #0.989.
link(47,67) :- #0.557.
link(67,47) :- #0.855.
link(47,69) :- #0.28.
link(69,47) :- #0.217.
link(47,80) :- #0.627.
link(80,47) :- #0.193.
link(47,82) :- #0.545.
link(82,47) :- #0.224.
link(47,83) :- #0.74.
link(83,47) :- #0.323.
link(47,90) :- #0.265.
link(90,47) :- #0.277.
link(47,95) :- #0.766.
link(95,47) :- #0.521.
link(47,97) :- #0.442.
link(97,47) :- #0.297.
link(47,104) :- #0.087.
link(104,47) :- #0.863.
link(47,126) :- #0.591.
link(126,47) :- #0.999.
link(47,129) :- #0.245.
link(129,47) :- #0.82.
link(47,133) :- #0.099.
link(133,47) :- #0.301.
link(47,144) :- #0.158.
link(144,47) :- #0.809.
link(48,60) :- #0.221.
link(60,48) :- #0.593.
link(48,104) :- #0.732.
link(104,48) :- #0.321.
link(48,117) :- #0.34.
link(117,48) :- #0.806.
link(48,122) :- #0.398.
link(122,48) :- #0.16.
link(48,138) :- #0.932.
link(138,48) :- #0.003.
link(48,141) :- #0.972.
link(141,48) :- #0.627.
link(48,143) :- #0.058.
link(143,48) :- #0.318.
link(49,65) :- #0.729.
link(65,49) :- #0.281.
link(49,76) :- #0.387.
link(76,49) :- #0.74.
link(49,83) :- #0.69.
link(83,49) :- #0.154.
link(49,101) :- #0.705.
link(101,49) :- #0.281.
link(49,104) :- #0.702.
link(104,49) :- #0.383.
link(49,109) :- #0.716.
link(109,49) :- #0.392.
link(49,114) :- #0.81.
link(114,49) :- #0.847.
link(49,125) :- #0.598.
link(125,49) :- #0.889.
link(49,135) :- #0.935.
link(135,49) :- #0.242.
link(50,65) :- #0.173.
link(65,50) :- #0.476.
link(50,70) :- #0.866.
link(70,50) :- #0.637.
link(50,74) :- #0.728.
link(74,50) :- #0.178.
link(50,85) :- #0.538.
link(85,50) :- #0.778.
link(50,96) :- #0.943.
link(96,50) :- #0.418.
link(50,111) :- #0.419.
link(111,50) :- #0.681.
link(50,125) :- #0.474.
link(125,50) :- #0.075.
link(50,131) :- #0.462.
link(131,50) :- #0.436.
link(50,134) :- #0.379.
link(134,50) :- #0.018.
link(51,52) :- #0.18.
link(52,51) :- #0.855.
link(51,64) :- #0.521.
link(64,51) :- #0.375.
link(51,76) :- #0.476.
link(76,51) :- #0.055.
link(51,78) :- #0.781.
link(78,51) :- #0.94.
link(51,88) :- #0.36.
link(88,51) :- #0.163.
link(51,92) :- #0.318.
link(92,51) :- #0.871.
link(51,99) :- #0.53.
link(99,51) :- #0.811.
link(51,112) :- #0.305.
link(112,51) :- #0.435.
link(51,128) :- #0.401.
link(128,51) :- #0.695.
link(52,62) :- #0.621.
link(62,52) :- #0.204.
link(52,68) :- #0.84.
link(68,52) :- #0.091.
link(52,70) :- #0.793.
link(70,52) :- #0.723.
link(52,77) :- #0.892.
link(77,52) :- #0.497.
link(52,96) :- #0.008.
link(96,52) :- #0.349.
link(52,102) :- #0.914.
link(102,52) :- #0.638.
link(52,116) :- #0.071.
link(116,52) :- #0.19.
link(52,122) :- #0.958.
link(122,52) :- #0.272.
link(52,124) :- #0.786.
link(124,52) :- #0.038.
link(52,134) :- #0.101.
link(134,52) :- #0.154.
link(53,68) :- #0.753.
link(68,53) :- #0.844.
link(53,70) :- #0.815.
link(70,53) :- #0.136.
link(53,80) :- #0.362.
link(80,53) :- #0.822.
link(53,81) :- #0.956.
link(81,53) :- #0.561.
link(53,87) :- #0.729.
link(87,53) :- #0.286.
link(53,90) :- #0.512.
link(90,53) :- #0.754.
link(53,91) :- #0.979.
link(91,53) :- #0.947.
link(53,106) :- #0.892.
link(106,53) :- #0.547.
link(53,114) :- #0.249.
link(114,53) :- #0.752.
link(53,115) :- #0.107.
link(115,53) :- #0.032.
link(53,120) :- #0.705.
link(120,53) :- #0.67.
link(53,125) :- #0.114.
link(125,53) :- #0.622.
link(53,137) :- #0.99.
link(137,53) :- #0.707.
link(54,61) :- #0.643.
link(61,54) :- #0.234.
link(54,96) :- #0.697.
link(96,54) :- #0.163.
link(54,103) :- #0.8.
link(103,54) :- #0.837.
link(54,124) :- #0.558.
link(124,54) :- #0.815.
link(54,136) :- #0.33.
link(136,54) :- #0.811.
link(55,58) :- #0.052.
link(58,55) :- #0.701.
link(55,66) :- #0.86.
link(66,55) :- #0.551.
link(55,102) :- #0.65.
link(102,55) :- #0.084.
link(55,117) :- #0.288.
link(117,55) :- #0.447.
link(55,138) :- #0.021.
link(138,55) :- #0.369.
link(56,65) :- #0.373.
link(65,56) :- #0.077.
link(56,84) :- #0.467.
link(84,56) :- #0.413.
link(56,91) :- #0.049.
link(91,56) :- #0.831.
link(56,93) :- #0.942.
link(93,56) :- #0.18.
link(56,107) :- #0.966.
link(107,56) :- #0.836.
link(56,116) :- #0.062.
link(116,56) :- #0.792.
link(56,121) :- #0.768.
link(121,56) :- #0.465.
link(56,131) :- #0.047.
link(131,56) :- #0.061.
link(56,134) :- #0.013.
link(134,56) :- #0.682.
link(56,136) :- #0.021.
link(136,56) :- #0.896.
link(56,141) :- #0.758.
link(141,56) :- #0.343.
link(57,67) :- #0.184.
link(67,57) :- #0.9.
link(57,69) :- #0.483.
link(69,57) :- #0.383.
link(57,70) :- #0.209.
link(70,57) :- #0.91.
link(57,72) :- #0.537.
link(72,57) :- #0.71.
link(57,97) :- #0.585.
link(97,57) :- #0.486.
link(57,103) :- #0.685.
link(103,57) :- #0.876.
link(57,108) :- #0.398.
link(108,57) :- #0.968.
link(57,115) :- #0.035.
link(115,57) :- #0.242.
link(57,119) :- #0.046.
link(119,57) :- #0.929.
link(57,122) :- #0.968.
link(122,57) :- #0.782.
link(57,123) :- #0.235.
link(123,57) :- #0.74.
link(57,126) :- #0.004.
link(126,57) :- #0.86.
link(57,134) :- #0.268.
link(134,57) :- #0.914.
link(57,137) :- #0.607.
link(137,57) :- #0.853.
link(58,59) :- #0.36.
link(59,58) :- #0.327.
link(58,63) :- #0.94.
link(63,58) :- #0.116.
link(58,66) :- #0.639.
link(66,58) :- #0.903.
link(58,124) :- #0.757.
link(124,58) :- #0.474.
link(58,126) :- #0.504.
link(126,58) :- #0.822.
link(58,133) :- #0.05.
link(133,58) :- #0.536.
link(58,138) :- #0.474.
link(138,58) :- #0.247.
link(59,66) :- #0.362.
link(66,59) :- #0.08.
link(59,75) :- #0.001.
link(75,59) :- #0.603.
link(59,79) :- #0.861.
link(79,59) :- #0.573.
link(59,85) :- #0.533.
link(85,59) :- #0.011.
link(59,92) :- #0.326.
link(92,59) :- #0.354.
link(59,104) :- #0.52.
link(104,59) :- #0.642.
link(59,109) :- #0.093.
link(109,59) :- #0.83.
link(59,124) :- #0.702.
link(124,59) :- #0.208.
link(59,139) :- #0.098.
link(139,59) :- #0.393.
link(60,61) :- #0.734.
link(61,60) :- #0.943.
link(60,70) :- #0.33.
link(70,60) :- #0.065.
link(60,82) :- #0.861.
link(82,60) :- #0.028.
link(60,83) :- #0.059.
link(83,60) :- #0.586.
link(60,98) :- #0.292.
link(98,60) :- #0.466.
link(60,99) :- #0.826.
link(99,60) :- #0.04.
link(60,108) :- #0.289.
link(108,60) :- #0.638.
link(60,113) :- #0.74.
link(113,60) :- #0.803.
link(60,127) :- #0.744.
link(127,60) :- #0.777.
link(61,74) :- #0.525.
link(74,61) :- #0.689.
link(61,80) :- #0.447.
link(80,61) :- #0.049.
link(61,82) :- #0.956.
link(82,61) :- #0.681.
link(61,89) :- #0.974.
link(89,61) :- #0.006.
link(61,97) :- #0.984.
link(97,61) :- #0.215.
link(61,111) :- #0.624.
link(111,61) :- #0.627.
link(61,121) :- #0.4.
link(121,61) :- #0.153.
link(61,125) :- #0.336.
link(125,61) :- #0.607.
link(61,129) :- #0.45.
link(129,61) :- #0.677.
link(61,131) :- #0.699.
link(131,61) :- #0.78.
link(61,135) :- #0.095.
link(135,61) :- #0.109.
link(61,138) :- #0.864.
link(138,61) :- #0.841.
link(61,139) :- #0.75.
link(139,61) :- #0.338.
link(61,140) :- #0.249.
link(140,61) :- #0.506.
link(61,142) :- #0.399.
link(142,61) :- #0.069.
link(62,67) :- #0.917.
link(67,62) :- #0.864.
link(62,74) :- #0.041.
link(74,62) :- #0.554.
link(62,85) :- #0.326.
link(85,62) :- #0.532.
link(62,103) :- #0.889.
link(103,62) :- #0.982.
link(62,114) :- #0.094.
link(114,62) :- #0.798.
link(62,118) :- #0.679.
link(118,62) :- #0.263.
link(62,128) :- #0.489.
link(128,62) :- #0.935.
link(62,132) :- #0.589.
link(132,62) :- #0.836.
link(63,70) :- #0.541.
link(70,63) :- #0.175.
link(63,75) :- #0.675.
link(75,63) :- #0.19.
link(63,80) :- #0.108.
link(80,63) :- #0.292.
link(63,97) :- #0.444.
link(97,63) :- #0.603.
link(63,124) :- #0.59.
link(124,63) :- #0.731.
link(63,135) :- #0.228.
link(135,63) :- #0.746.
link(63,143) :- #0.506.
link(143,63) :- #0.607.
link(64,67) :- #0.882.
link(67,64) :- #0.117.
link(64,83) :- #0.241.
link(83,64) :- #0.573.
link(64,99) :- #0.826.
link(99,64) :- #0.207.
link(64,104) :- #0.272.
link(104,64) :- #0.491.
link(64,109) :- #0.567.
link(109,64) :- #0.909.
link(64,117) :- #0.141.
link(117,64) :- #0.387.
link(64,119) :- #0.284.
link(119,64) :- #0.169.
link(64,127) :- #0.928.
link(127,64) :- #0.314.
link(64,130) :- #0.19.
link(130,64) :- #0.687.
link(64,134) :- #0.602.
link(134,64) :- #0.502.
link(65,66) :- #0.856.
link(66,65) :- #0.48.
link(65,70) :- #0.218.
link(70,65) :- #0.369.
link(65,81) :- #0.231.
link(81,65) :- #0.087.
link(65,82) :- #0.648.
link(82,65) :- #0.298.
link(65,95) :- #0.279.
link(95,65) :- #0.799.
link(65,112) :- #0.438.
link(112,65) :- #0.375.
link(65,115) :- #0.17.
link(115,65) :- #0.578.
link(66,69) :- #0.276.
link(69,66) :- #0.655.
link(66,71) :- #0.176.
link(71,66) :- #0.688.
link(66,78) :- #0.636.
link(78,66) :- #0.033.
link(66,85) :- #0.531.
link(85,66) :- #0.912.
link(66,94) :- #0.897.
link(94,66) :- #0.904.
link(66,97) :- #0.77.
link(97,66) :- #0.692.
link(66,104) :- #0.976.
link(104,66) :- #0.69.
link(66,107) :- #0.479.
link(107,66) :- #0.298.
link(66,108) :- #0.402.
link(108,66) :- #0.979.
link(66,111) :- #0.27.
link(111,66) :- #0.147.
link(66,135) :- #0.264.
link(135,66) :- #0.629.
link(67,78) :- #0.456.
link(78,67) :- #0.583.
link(67,82) :- #0.427.
link(82,67) :- #0.327.
link(67,83) :- #0.59.
link(83,67) :- #0.577.
link(67,109) :- #0.44.
link(109,67) :- #0.915.
link(67,122) :- #0.44.
link(122,67) :- #0.044.
link(67,134) :- #0.136.
link(134,67) :- #0.401.
link(67,135) :- #0.317.
link(135,67) :- #0.401.
link(68,77) :- #0.821.
link(77,68) :- #0.214.
link(68,81) :- #0.007.
link(81,68) :- #0.092.
link(68,84) :- #0.336.
link(84,68) :- #0.508.
link(68,92) :- #0.939.
link(92,68) :- #0.328.
link(68,135) :- #0.04.
link(135,68) :- #0.518.
link(68,137) :- #0.311.
link(137,68) :- #0.05.
link(69,85) :- #0.749.
link(85,69) :- #0.106.
link(69,106) :- #0.403.
link(106,69) :- #0.28.
link(69,120) :- #0.88.
link(120,69) :- #0.24.
link(69,122) :- #0.466.
link(122,69) :- #0.419.
link(69,130) :- #0.099.
link(130,69) :- #0.638.
link(69,137) :- #0.02.
link(137,69) :- #0.858.
link(70,71) :- #0.695.
link(71,70) :- #0.717.
link(70,88) :- #0.581.
link(88,70) :- #0.506.
link(70,89) :- #0.997.
link(89,70) :- #0.415.
link(70,93) :- #0.549.
link(93,70) :- #0.417.
link(70,98) :- #0.692.
link(98,70) :- #0.763.
link(70,101) :- #0.885.
link(101,70) :- #0.072.
link(70,126) :- #0.73.
link(126,70) :- #0.067.
link(70,130) :- #0.095.
link(130,70) :- #0.554.
link(71,76) :- #0.109.
link(76,71) :- #0.551.
link(71,88) :- #0.959.
link(88,71) :- #0.679.
link(71,91) :- #0.726.
link(91,71) :- #0.599.
link(71,103) :- #0.067.
link(103,71) :- #0.424.
link(71,108) :- #0.254.
link(108,71) :- #0.755.
link(71,143) :- #0.064.
link(143,71) :- #0.781.
link(72,90) :- #0.878.
link(90,72) :- #0.157.
link(72,103) :- #0.062.
link(103,72) :- #0.577.
link(72,114) :- #0.442.
link(114,72) :- #0.597.
link(72,115) :- #0.99.
link(115,72) :- #0.175.
link(72,132) :- #0.911.
link(132,72) :- #0.18.
link(72,133) :- #0.957.
link(133,72) :- #0.222.
link(72,143) :- #0.103.
link(143,72) :- #0.158.
link(73,83) :- #0.596.
link(83,73) :- #0.357.
link(73,84) :- #0.678.
link(84,73) :- #0.741.
link(73,92) :- #0.926.
link(92,73) :- #0.64.
link(73,101) :- #0.695.
link(101,73) :- #0.076.
link(73,117) :- #0.478.
link(117,73) :- #0.474.
link(74,82) :- #0.594.
link(82,74) :- #0.539.
link(74,97) :- #0.348.
link(97,74) :- #0.233.
link(74,101) :- #0.65.
link(101,74) :- #0.547.
link(74,108) :- #0.77.
link(108,74) :- #0.02.
link(74,110) :- #0.446.
link(110,74) :- #0.149.
link(74,112) :- #0.77.
link(112,74) :- #0.11.
link(74,115) :- #0.224.
link(115,74) :- #0.357.
link(74,123) :- #0.128.
link(123,74) :- #0.179.
link(74,125) :- #0.421.
link(125,74) :- #0.907.
link(74,132) :- #0.218.
link(132,74) :- #0.407.
link(74,136) :- #0.034.
link(136,74) :- #0.541.
link(74,137) :- #0.375.
link(137,74) :- #0.714.
link(74,141) :- #0.556.
link(141,74) :- #0.985.
link(74,144) :- #0.094.
link(144,74) :- #0.523.
link(75,78) :- #0.018.
link(78,75) :- #0.121.
link(75,99) :- #0.094.
link(99,75) :- #0.604.
link(75,108) :- #0.742.
link(108,75) :- #0.042.
link(75,122) :- #0.882.
link(122,75) :- #0.318.
link(75,128) :- #0.791.
link(128,75) :- #0.335.
link(75,132) :- #0.725.
link(132,75) :- #0.214.
link(76,80) :- #0.058.
link(80,76) :- #0.101.
link(76,103) :- #0.633.
link(103,76) :- #0.87.
link(76,130) :- #0.631.
link(130,76) :- #0.666.
link(76,133) :- #0.354.
link(133,76) :- #0.645.
link(76,137) :- #0.474.
link(137,76) :- #0.168.
link(76,138) :- #0.981.
link(138,76) :- #0.79.
link(76,145) :- #0.848.
link(145,76) :- #0.986.
link(77,78) :- #0.429.
link(78,77) :- #0.041.
link(77,81) :- #0.903.
link(81,77) :- #0.453.
link(77,86) :- #0.023.
link(86,77) :- #0.248.
link(77,91) :- #0.928.
link(91,77) :- #0.14.
link(77,93) :- #0.096.
link(93,77) :- #0.07.
link(77,113) :- #0.188.
link(113,77) :- #0.982.
link(77,126) :- #0.971.
link(126,77) :- #0.782.
link(77,131) :- #0.607.
link(131,77) :- #0.321.
link(77,133) :- #0.737.
link(133,77) :- #0.483.
link(78,94) :- #0.822.
link(94,78) :- #0.782.
link(78,99) :- #0.912.
link(99,78) :- #0.719.
link(78,132) :- #0.023.
link(132,78) :- #0.668.
link(78,138) :- #0.521.
link(138,78) :- #0.651.
link(78,144) :- #0.133.
link(144,78) :- #0.815.
link(79,96) :- #0.336.
link(96,79) :- #0.497.
link(79,98) :- #0.154.
link(98,79) :- #0.616.
link(79,110) :- #0.489.
link(110,79) :- #0.25.
link(79,125) :- #0.222.
link(125,79) :- #0.319.
link(79,138) :- #0.405.
link(138,79) :- #0.483.
link(80,105) :- #0.064.
link(105,80) :- #0.666.
link(80,109) :- #0.766.
link(109,80) :- #0.792.
link(80,122) :- #0.134.
link(122,80) :- #0.234.
link(80,144) :- #0.027.
link(144,80) :- #0.951.
link(80,145) :- #0.842.
link(145,80) :- #0.406.
link(81,114) :- #0.977.
link(114,81) :- #0.557.
link(81,129) :- #0.655.
link(129,81) :- #0.946.
link(81,130) :- #0.93.
link(130,81) :- #0.702.
link(81,139) :- #0.753.
link(139,81) :- #0.809.
link(81,140) :- #0.847.
link(140,81) :- #0.566.
link(81,141) :- #0.6.
link(141,81) :- #0.685.
link(81,145) :- #0.857.
link(145,81) :- #0.462.
link(82,83) :- #0.787.
link(83,82) :- #0.063.
link(82,84) :- #0.27.
link(84,82) :- #0.652.
link(82,91) :- #0.713.
link(91,82) :- #0.507.
link(82,92) :- #0.908.
link(92,82) :- #0.588.
link(82,94) :- #0.752.
link(94,82) :- #0.44.
link(82,106) :- #0.818.
link(106,82) :- #0.321.
link(82,115) :- #0.069.
link(115,82) :- #0.961.
link(83,89) :- #0.842.
link(89,83) :- #0.791.
link(83,91) :- #0.03.
link(91,83) :- #0.022.
link(83,94) :- #0.81.
link(94,83) :- #0.102.
link(83,99) :- #0.416.
link(99,83) :- #0.21.
link(83,103) :- #0.826.
link(103,83) :- #0.586.
link(83,118) :- #0.366.
link(118,83) :- #0.392.
link(83,120) :- #0.554.
link(120,83) :- #0.263.
link(83,128) :- #0.025.
link(128,83) :- #0.588.
link(83,134) :- #0.732.
link(134,83) :- #0.892.
link(83,141) :- #0.399.
link(141,83) :- #0.779.
link(84,88) :- #0.31.
link(88,84) :- #0.341.
link(84,107) :- #0.432.
link(107,84) :- #0.323.
link(84,114) :- #0.59.
link(114,84) :- #0.761.
link(84,138) :- #0.143.
link(138,84) :- #0.51.
link(84,143) :- #0.855.
link(143,84) :- #0.679.
link(85,87) :- #0.921.
link(87,85) :- #0.431.
link(85,109) :- #0.204.
link(109,85) :- #0.523.
link(86,112) :- #0.329.
link(112,86) :- #0.048.
link(86,115) :- #0.281.
link(115,86) :- #0.293.
link(86,122) :- #0.714.
link(122,86) :- #0.58.
link(86,125) :- #0.258.
link(125,86) :- #0.731.
link(87,108) :- #0.297.
link(108,87) :- #0.346.
link(87,117) :- #0.774.
link(117,87) :- #0.709.
link(87,122) :- #0.629.
link(122,87) :- #0.083.
link(87,133) :- #0.478.
link(133,87) :- #0.154.
link(87,137) :- #0.166.
link(137,87) :- #0.695.
link(87,144) :- #0.714.
link(144,87) :- #0.086.
link(88,101) :- #0.374.
link(101,88) :- #0.014.
link(88,106) :- #0.524.
link(106,88) :- #0.745.
link(88,112) :- #0.086.
link(112,88) :- #0.803.
link(88,121) :- #0.357.
link(121,88) :- #0.829.
link(88,126) :- #0.767.
link(126,88) :- #0.874.
link(89,94) :- #0.329.
link(94,89) :- #0.925.
link(89,100) :- #0.724.
link(100,89) :- #0.334.
link(89,102) :- #0.739.
link(102,89) :- #0.149.
link(89,105) :- #0.891.
link(105,89) :- #0.145.
link(89,106) :- #0.566.
link(106,89) :- #0.761.
link(89,121) :- #0.549.
link(121,89) :- #0.725.
link(89,130) :- #0.228.
link(130,89) :- #0.445.
link(90,106) :- #0.617.
link(106,90) :- #0.536.
link(90,108) :- #0.731.
link(108,90) :- #0.613.
link(90,113) :- #0.109.
link(113,90) :- #0.722.
link(90,127) :- #0.292.
link(127,90) :- #0.229.
link(90,129) :- #0.977.
link(129,90) :- #0.717.
link(91,101) :- #0.122.
link(101,91) :- #0.603.
link(91,121) :- #0.241.
link(121,91) :- #0.675.
link(91,124) :- #0.673.
link(124,91) :- #0.279.
link(91,145) :- #0.584.
link(145,91) :- #0.871.
link(92,95) :- #0.639.
link(95,92) :- #0.826.
link(92,103) :- #0.089.
link(103,92) :- #0.312.
link(92,106) :- #0.109.
link(106,92) :- #0.113.
link(92,109) :- #0.68.
link(109,92) :- #0.428.
link(92,113) :- #0.896.
link(113,92) :- #0.567.
link(93,104) :- #0.863.
link(104,93) :- #0.429.
link(93,129) :- #0.174.
link(129,93) :- #0.431.
link(93,135) :- #0.402.
link(135,93) :- #0.965.
link(94,98) :- #0.622.
link(98,94) :- #0.912.
link(94,108) :- #0.521.
link(108,94) :- #0.611.
link(94,115) :- #0.585.
link(115,94) :- #0.082.
link(94,122) :- #0.563.
link(122,94) :- #0.336.
link(94,123) :- #0.679.
link(123,94) :- #0.058.
link(94,135) :- #0.93.
link(135,94) :- #0.92.
link(95,101) :- #0.547.
link(101,95) :- #0.304.
link(95,110) :- #0.559.
link(110,95) :- #0.778.
link(95,111) :- #0.361.
link(111,95) :- #0.291.
link(95,112) :- #0.611.
link(112,95) :- #0.215.
link(95,120) :- #0.305.
link(120,95) :- #0.396.
link(95,125) :- #0.041.
link(125,95) :- #0.897.
link(95,129) :- #0.774.
link(129,95) :- #0.112.
link(95,132) :- #0.876.
link(132,95) :- #0.643.
link(95,136) :- #0.123.
link(136,95) :- #0.777.
link(96,109) :- #0.622.
link(109,96) :- #0.17.
link(96,111) :- #0.233.
link(111,96) :- #0.189.
link(96,115) :- #0.018.
link(115,96) :- #0.648.
link(96,117) :- #0.293.
link(117,96) :- #0.331.
link(96,126) :- #0.198.
link(126,96) :- #0.815.
link(96,132) :- #0.611.
link(132,96) :- #0.9.
link(96,135) :- #0.229.
link(135,96) :- #0.772.
link(96,139) :- #0.65.
link(139,96) :- #0.307.
link(97,105) :- #0.447.
link(105,97) :- #0.686.
link(97,110) :- #0.469.
link(110,97) :- #0.999.
link(97,117) :- #0.083.
link(117,97) :- #0.387.
link(97,126) :- #0.289.
link(126,97) :- #0.566.
link(97,127) :- #0.676.
link(127,97) :- #0.141.
link(97,133) :- #0.642.
link(133,97) :- #0.563.
link(97,135) :- #0.768.
link(135,97) :- #0.502.
link(97,136) :- #0.824.
link(136,97) :- #0.856.
link(97,137) :- #0.46.
link(137,97) :- #0.652.
link(97,142) :- #0.641.
link(142,97) :- #0.737.
link(98,106) :- #0.694.
link(106,98) :- #0.704.
link(98,126) :- #0.592.
link(126,98) :- #0.942.
link(98,127) :- #0.472.
link(127,98) :- #0.332.
link(98,145) :- #0.907.
link(145,98) :- #0.965.
link(99,101) :- #0.792.
link(101,99) :- #0.358.
link(99,109) :- #0.647.
link(109,99) :- #0.807.
link(99,116) :- #0.476.
link(116,99) :- #0.418.
link(99,143) :- #0.446.
link(143,99) :- #0.313.
link(100,105) :- #0.557.
link(105,100) :- #0.194.
link(100,117) :- #0.278.
link(117,100) :- #0.893.
link(100,122) :- #0.707.
link(122,100) :- #0.193.
link(100,124) :- #0.851.
link(124,100) :- #0.235.
link(100,139) :- #0.897.
link(139,100) :- #0.481.
link(101,109) :- #0.021.
link(109,101) :- #0.288.
link(101,121) :- #0.765.
link(121,101) :- #0.804.
link(101,125) :- #0.036.
link(125,101) :- #0.606.
link(101,128) :- #0.897.
link(128,101) :- #0.132.
link(101,132) :- #0.848.
link(132,101) :- #0.071.
link(102,104) :- #0.718.
link(104,102) :- #0.898.
link(102,115) :- #0.288.
link(115,102) :- #0.167.
link(102,122) :- #0.92.
link(122,102) :- #0.144.
link(102,125) :- #0.267.
link(125,102) :- #0.548.
link(103,112) :- #0.309.
link(112,103) :- #0.057.
link(103,121) :- #0.385.
link(121,103) :- #0.538.
link(103,123) :- #0.856.
link(123,103) :- #0.027.
link(103,133) :- #0.59.
link(133,103) :- #0.955.
link(103,137) :- #0.046.
link(137,103) :- #0.534.
link(103,144) :- #0.605.
link(144,103) :- #0.852.
link(104,106) :- #0.919.
link(106,104) :- #0.002.
link(104,107) :- #0.479.
link(107,104) :- #0.31.
link(104,110) :- #0.477.
link(110,104) :- #0.907.
link(104,114) :- #0.423.
link(114,104) :- #0.649.
link(104,142) :- #0.109.
link(142,104) :- #0.009.
link(105,121) :- #0.228.
link(121,105) :- #0.484.
link(105,129) :- #0.148.
link(129,105) :- #0.864.
link(106,112) :- #0.571.
link(112,106) :- #0.113.
link(106,115) :- #0.364.
link(115,106) :- #0.833.
link(106,117) :- #0.907.
link(117,106) :- #0.248.
link(107,130) :- #0.554.
link(130,107) :- #0.513.
link(107,133) :- #0.926.
link(133,107) :- #0.874.
link(107,135) :- #0.459.
link(135,107) :- #0.916.
link(107,140) :- #0.638.
link(140,107) :- #0.988.
link(108,128) :- #0.931.
link(128,108) :- #0.236.
link(109,129) :- #0.374.
link(129,109) :- #0.623.
link(109,134) :- #0.902.
link(134,109) :- #0.766.
link(109,136) :- #0.777.
link(136,109) :- #0.018.
link(110,118) :- #0.848.
link(118,110) :- #0.392.
link(110,122) :- #0.412.
link(122,110) :- #0.504.
link(111,123) :- #0.449.
link(123,111) :- #0.23.
link(111,124) :- #0.7.
link(124,111) :- #0.968.
link(111,129) :- #0.415.
link(129,111) :- #0.845.
link(111,142) :- #0.739.
link(142,111) :- #0.77.
link(112,121) :- #0.368.
link(121,112) :- #0.257.
link(112,122) :- #0.243.
link(122,112) :- #0.47.
link(112,125) :- #0.323.
link(125,112) :- #0.622.
link(112,126) :- #0.513.
link(126,112) :- #0.556.
link(112,130) :- #0.239.
link(130,112) :- #0.222.
link(112,135) :- #0.568.
link(135,112) :- #0.493.
link(112,138) :- #0.137.
link(138,112) :- #0.779.
link(112,139) :- #0.249.
link(139,112) :- #0.64.
link(113,114) :- #0.922.
link(114,113) :- #0.312.
link(113,121) :- #0.373.
link(121,113) :- #0.996.
link(113,122) :- #0.964.
link(122,113) :- #0.902.
link(113,137) :- #0.582.
link(137,113) :- #0.017.
link(114,124) :- #0.285.
link(124,114) :- #0.944.
link(114,132) :- #0.93.
link(132,114) :- #0.26.
link(115,122) :- #0.102.
link(122,115) :- #0.545.
link(115,124) :- #0.222.
link(124,115) :- #0.708.
link(115,127) :- #0.451.
link(127,115) :- #0.722.
link(115,129) :- #0.372.
link(129,115) :- #0.124.
link(115,134) :- #0.343.
link(134,115) :- #0.283.
link(115,135) :- #0.496.
link(135,115) :- #0.692.
link(116,144) :- #0.575.
link(144,116) :- #0.946.
link(117,118) :- #0.039.
link(118,117) :- #0.602.
link(117,123) :- #0.373.
link(123,117) :- #0.02.
link(117,133) :- #0.768.
link(133,117) :- #0.082.
link(117,137) :- #0.654.
link(137,117) :- #0.291.
link(117,144) :- #0.44.
link(144,117) :- #0.818.
link(117,145) :- #0.072.
link(145,117) :- #0.629.
link(118,120) :- #0.932.
link(120,118) :- #0.619.
link(118,123) :- #0.457.
link(123,118) :- #0.843.
link(119,137) :- #0.578.
link(137,119) :- #0.972.
link(119,144) :- #0.64.
link(144,119) :- #0.004.
link(120,128) :- #0.882.
link(128,120) :- #0.403.
link(120,138) :- #0.424.
link(138,120) :- #0.341.
link(121,124) :- #0.966.
link(124,121) :- #0.098.
link(121,126) :- #0.122.
link(126,121) :- #0.131.
link(121,128) :- #0.556.
link(128,121) :- #0.288.
link(121,130) :- #0.314.
link(130,121) :- #0.121.
link(121,134) :- #0.654.
link(134,121) :- #0.694.
link(121,137) :- #0.337.
link(137,121) :- #0.834.
link(122,129) :- #0.689.
link(129,122) :- #0.746.
link(123,130) :- #0.446.
link(130,123) :- #0.969.
link(123,131) :- #0.966.
link(131,123) :- #0.929.
link(123,138) :- #0.202.
link(138,123) :- #0.441.
link(123,141) :- #0.913.
link(141,123) :- #0.124.
link(124,134) :- #0.615.
link(134,124) :- #0.795.
link(125,126) :- #0.478.
link(126,125) :- #0.018.
link(126,130) :- #0.147.
link(130,126) :- #0.741.
link(126,134) :- #0.204.
link(134,126) :- #0.114.
link(128,133) :- #0.147.
link(133,128) :- #0.831.
link(128,136) :- #0.947.
link(136,128) :- #0.515.
link(129,138) :- #0.658.
link(138,129) :- #0.237.
link(129,140) :- #0.964.
link(140,129) :- #0.962.
link(130,132) :- #0.109.
link(132,130) :- #0.812.
link(130,133) :- #0.525.
link(133,130) :- #0.759.
link(130,134) :- #0.97.
link(134,130) :- #0.895.
link(130,139) :- #0.223.
link(139,130) :- #0.389.
link(131,142) :- #0.384.
link(142,131) :- #0.447.
link(132,137) :- #0.628.
link(137,132) :- #0.41.
link(132,142) :- #0.598.
link(142,132) :- #0.293.
link(133,135) :- #0.541.
link(135,133) :- #0.486.
link(133,139) :- #0.176.
link(139,133) :- #0.324.
link(133,142) :- #0.226.
link(142,133) :- #0.053.
link(134,141) :- #0.696.
link(141,134) :- #0.321.
link(136,138) :- #0.2.
link(138,136) :- #0.817.
link(136,145) :- #0.53.
link(145,136) :- #0.283.
link(138,145) :- #0.182.
link(145,138) :- #0.126.
link(139,141) :- #0.205.
link(141,139) :- #0.356.
link(140,142) :- #0.179.
link(142,140) :- #0.855.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
